🛠 Language Design

Type Systems, Compiler Theory, Syntax Evolution, Memory Models, Syntax Creation, Parser Design, Domain Languages, Programming Paradigms

The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·3h·
Discuss: Hacker News, r/programming
🔗Lisp
Hypercubical manifolds in homotopy type theory
arxiv.org·10h
🔶Cubical Type Theory
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·8h
📝Concrete Syntax
Cactus Language • Syntax 11
inquiryintoinquiry.com·1d
📝Concrete Syntax
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·1d·
Discuss: DEV
🧬Functional Programming
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
LFCS Seminar Friday 27th June: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Strict alternation of data and behaviour in Smalltalk
eighty-twenty.org·5h
📞Session Types
Threaded Code
muforth.dev·3h·
Discuss: Hacker News
🦀Rust Macros
Building a Language Server
bullno1.com·1d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
💻Local LLMs
The one-more-re-nightmare compiler (2021)
applied-langua.ge·21h·
Discuss: Lobsters, r/programming
🔍RegEx Engines
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
Lab note #072 A language with affordances for vibe coding
interjectedfuture.com·1d
🔗Concatenative Programming
PEGTL -- Parsing Expression Grammar Template Library
github.com·15h·
Discuss: Hacker News
🔗Parser Combinators
Why Go Rocks for Building a Lua Interpreter
zombiezen.com·1d·
Discuss: r/golang
⬆️Lambda Lifting
CODS : A Theoretical Model for Computational Design Based on Design Space
arxiv.org·1d
🧮Theoretical Computer Science
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·13h·
Discuss: Hacker News
🦀Rust Macros
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·2h·
Discuss: Hacker News
🔗Constraint Handling